1001. Software Engineering; an Advancd Course
پدیدآورنده : edited by F. L. Bauer
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming- Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
A33
1972a
1002. Software Engineering and Formal Methods
پدیدآورنده : \ Radu Calinescu , Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی نرم افزار ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
1003. Software Engineering and Formal Methods
پدیدآورنده : \ [edited by] Carlos Canal, Akram Idani.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
1004. Software Engineering and Formal Methods
پدیدآورنده : \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر
رده :
QA
76
.
758
.
S62
2015
E-Book
,
1005. Software Engineering for Resilient Systems
پدیدآورنده : \ Alessandro Fantechi , Patrizio Pelliccione (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Reliability -- Congresses.,Computer software -- Reliability.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- اطمینان‌پذیری -- کنگره ها ,نرم‌افزار -- اطمینان‌پذیری
رده :
QA
76
.
758
.
S62
2015
E-Book
,
1006. Software-Entwicklung :
پدیدآورنده : W.-M. Lippe (Hrsg.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Development -- Congresses.,Computer software -- Development.,Programmatuurtechniek.
رده :
QA76
.
76
.
D47
W555
1989
1007. Software Process Improvement and Capability Determination
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Management -- Congresses.,Software engineering -- Congresses.,Computer software -- Development -- Management.
رده :
*
1008. Software Quality
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Quality control ; Congresses. ;
1009. Software, Services and Systems
پدیدآورنده : \ [edited by] Rocco De Nicola, Rolf Hennicker.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Systems engineering -- Congresses,Abstract data types (Computer science) -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,مهندسی س‍ی‍س‍ت‍م ها -- کنگره ها ,داده‌های انتزاعی (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
1010. Software Technologies
پدیدآورنده : \ edited by Andreas Holzinger...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Computer software -- Congresses.,Software engineering -- Congresses.,نرم افزار کامپیوتر - کنگره ها,مهندسی نرم افزار - کنگره ها.
رده :
QA
76
.
755
.
S62
2015
E-Book
,
1011. Software analysis, testing, and evolution :
پدیدآورنده : Lei Bu, Yingfei Xiong (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Computer software-- Testing, Congresses.,Computer networking & communications.,Computer software-- Development.,Computer software-- Testing.,Computers-- Hardware-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.
رده :
QA76
.
76
.
T48
1012. Software and data technologies :
پدیدآورنده : José Cordeiro, AlpeshKumar Ranchordas, Boris Shishkov (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Computer software-- Development, Congresses,Software engineering, Congresses,Computer software, Congresses,Database management, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
I27
2011
1013. Software and data technologies :
پدیدآورنده : María José Escalona, José Cordeiro, Boris Shishkov, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science) -- Congresses.,Database management -- Congresses.,Software engineering -- Congresses.
1014. Software and network engineering
پدیدآورنده : Roger Lee (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
A25
2012eb
1015. Software applications in electrical engineering
پدیدآورنده : / editor, P.P. Silvester
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع : Electric engineering - Data processing - Congresses,Electric engineering - Computer programs - Congresses,Software engineering - Congresses
رده :
TK
153
.
I594
1993
1016. Software architecture :
پدیدآورنده : Carlos E. Cuesta, David Garlan, Jennifer Pérez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software architecture, Congresses.,Software engineering, Congresses.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software architecture.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
1017. Software architecture :
پدیدآورنده : Ivica Crnkovic, Volker Gruhn, Matthias Book (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software architecture, Congresses
رده :
QA76
.
751
.
E97
2011
1018. Software architecture
پدیدآورنده : / Flavio Oquendo (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Software architecture--Congresses,Computer architecture--Congresses,Computer software--Congresses
رده :
QA
,
76
.
751
,.
E37
,
2007
1019. Software business :
پدیدآورنده : Krzysztof Wnuk, Sjaak Brinkkemper (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development-- Management, Congresses.,Computer software industry, Congresses.,Software engineering-- Management, Congresses.,Computer software-- Development-- Management.,Computer software industry.,Software engineering-- Management.
رده :
HD9696
.
C62
I85
2018eb
1020. Software composition
پدیدآورنده : / Thomas Gschwind, Uwe Assmann, Oscar Nierstrasz (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Software engineering Congresses,Genie logiciel Congres,Genie logiciel$2 rasuqam,Composant logiciel$2 rasuqam
رده :
QA76
.
76
.
C66
,
S3
2005
